$def with (body)
<html><head> <meta http-equiv="content-type" content="text/html; charset=utf-8" />
</head>
<body>
$:body
</body></html>